unsafe auto trait T {}
